-- Test wrong/missing syntax
    DEF def6(X Y:nat):nat === 0		--= zu viel
    DEF def5(X:nat, Y:nat):nat = 0	--missing =
    DEF def4(X:nat, Y:nat):natl == 0	--wrong type
    DEF def3(X:nat Y:nat):nat == 0  	--missing ,
    DEF def2(X:nat, Y:nat,x):nat == 0  	--missing :
    DEF def1(X:nat, ):nat == 0		--, zu viel
    DEF MAIN:bool == true
